Partially ordered set

Results: 111



#Item
11

PDF Document

Add to Reading List

Source URL: www-users.york.ac.uk

Language: English - Date: 2009-11-24 09:24:11
12Midland Graduate School in Foundations of Computer Science Quantum Topos Theory Steve Vickers, School of Computer Science, University of Birmingham 2010

Midland Graduate School in Foundations of Computer Science Quantum Topos Theory Steve Vickers, School of Computer Science, University of Birmingham 2010

Add to Reading List

Source URL: www.cs.bham.ac.uk

Language: English - Date: 2010-03-30 03:56:09
13Linearizing bad sequences: upper bounds for the product and majoring well quasi-orders Sergio Abriola1 , Santiago Figueira2,3? , and Gabriel Senno2 1 2

Linearizing bad sequences: upper bounds for the product and majoring well quasi-orders Sergio Abriola1 , Santiago Figueira2,3? , and Gabriel Senno2 1 2

Add to Reading List

Source URL: www.glyc.dc.uba.ar

Language: English - Date: 2012-06-18 12:18:22
14Similarity Quotients as Final Coalgebras Paul Blain Levy⋆ University of Birmingham, UK

Similarity Quotients as Final Coalgebras Paul Blain Levy⋆ University of Birmingham, UK

Add to Reading List

Source URL: www.cs.bham.ac.uk

Language: English - Date: 2011-04-02 14:59:57
15On Hibi rings Sara Saeedi Madani (Joint with: V. Ene, J. Herzog, T. Hibi) Institute for Research in Fundamental Sciences (IPM)  November 2014

On Hibi rings Sara Saeedi Madani (Joint with: V. Ene, J. Herzog, T. Hibi) Institute for Research in Fundamental Sciences (IPM) November 2014

Add to Reading List

Source URL: math.ipm.ac.ir

Language: English - Date: 2014-11-20 00:57:50
16An Optimal Ancestry Scheme and Small Universal Posets  ∗ Pierre Fraigniaud

An Optimal Ancestry Scheme and Small Universal Posets ∗ Pierre Fraigniaud

Add to Reading List

Source URL: www.liafa.jussieu.fr

Language: English - Date: 2010-04-12 08:36:10
17On the Pagenumber of Bipartite Orders Mustafa Alhashem∗ Guy-Vincent Jourdan∗  ∗

On the Pagenumber of Bipartite Orders Mustafa Alhashem∗ Guy-Vincent Jourdan∗ ∗

Add to Reading List

Source URL: www.cccg.ca

Language: English - Date: 2005-07-31 13:55:47
18Finitary functors: from Set to Preord and Poset Adriana Balan1 1 University Alexander Kurz2

Finitary functors: from Set to Preord and Poset Adriana Balan1 1 University Alexander Kurz2

Add to Reading List

Source URL: calco2011.ecs.soton.ac.uk

Language: English - Date: 2011-10-04 15:56:08
19Confluent Hasse Diagrams David Eppstein and Joseph A. Simons University of California, Irvine Goal: • Improve Readability of Hasse Diagrams

Confluent Hasse Diagrams David Eppstein and Joseph A. Simons University of California, Irvine Goal: • Improve Readability of Hasse Diagrams

Add to Reading List

Source URL: www.ics.uci.edu

Language: English - Date: 2011-09-15 17:39:34
20Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover

Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2014-08-27 06:04:04